f1cbc86ae0e99d272f1e2ca51a2b097fe38cbb6e,src/gwt/src/org/rstudio/core/client/theme/DocTabLayoutPanel.java,DragManager,endDrag,#Event#,617

Before Change


         
         // insert this tab where the placeholder landed
         dragTabsHost_.removeChild(dragElement_);
         dragTabsHost_.insertAfter(dragElement_, dragPlaceholder_);
         dragTabsHost_.removeChild(dragPlaceholder_);

         // finish dragging

After Change


      private void endDrag(final Event evt)
      {
         // remove the properties used to position for dragging
         if (dragElement_ != null)
         {
            dragElement_.getStyle().clearLeft();
            dragElement_.getStyle().clearPosition();
            dragElement_.getStyle().clearZIndex();
            dragElement_.getStyle().clearDisplay();
            
            // insert this tab where the placeholder landed
            dragTabsHost_.removeChild(dragElement_);
            dragTabsHost_.insertAfter(dragElement_, dragPlaceholder_);
         }
         
         dragTabsHost_.removeChild(dragPlaceholder_);